System programming language

Results: 2012



#Item
311Type theory / Theoretical computer science / Functional languages / Cross-platform software / Functional programming / Domain-specific language / Type system / Scala / Partial evaluation / Computing / Software engineering / Programming language theory

The five articles in this special issue are the extended, journal versions of the papers first presented at the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation. PEPM’12 took place in January 20

Add to Reading List

Source URL: okmij.org

Language: English - Date: 2013-07-16 20:02:01
312SlickEdit / Dialog box / Macro / GUI widget / Clipboard / C preprocessor / Open Programming Language / Software / Computing / System software

PDF Document

Add to Reading List

Source URL: www.slickedit.com

Language: English - Date: 2007-07-10 17:11:48
313Smartphones / Virtual machines / VMware / Programming language implementation / VM / Hypervisor / Android software development / Hyper-V / Android / System software / Software / Embedded Linux

PDF Document

Add to Reading List

Source URL: www.syssec-project.eu

Language: English - Date: 2014-09-26 08:37:02
314SPARK / X Window System / Computing / Software / Ada programming language

PDF Document

Add to Reading List

Source URL: www.wifispark.com

Language: English - Date: 2014-11-01 17:58:57
315Programming language theory / Type theory / Data types / Formal methods / Polymorphism / Subtype polymorphism / Immutable object / Type system / Model theory / Software engineering / Computing / Object-oriented programming

PDF Document

Add to Reading List

Source URL: galois.com

Language: English - Date: 2014-07-17 17:29:46
316Publishing / Computing / ConTeXt / TUG / Device independent file format / Donald Knuth / Text Executive Programming Language / New Typesetting System / TeX / Typography / Typesetting

TEX and TUG NEWS TEX and TUG NEWS is a newsletter for TEX and LATEX users alike: a forum for exchanging information, tips and suggestions; a regular means of communicating news items to one another ; a place where inform

Add to Reading List

Source URL: mirror.physik-pool.tu-berlin.de

Language: English - Date: 2011-01-07 09:23:18
317World Wide Web / Facebook Query Language / Social networking service / Like button / Data model / Application programming interface / Geographic information system / OAuth / Database / Computing / Software / Facebook

FBWatch: Extracting, Analyzing and Visualizing Public Facebook Profiles Lukas Brückner, , Kyto GmbH Simon Caton, , National College of Ireland Margeret Hall, , Kar

Add to Reading List

Source URL: service-summit.ksri.kit.edu

Language: English - Date: 2015-03-05 11:06:17
318PHP programming language / WordPress / Share-alike / Providence /  Rhode Island / Notification system / Software / Methodology / Blog software

WordCamp Providence A/V Release Form By participating in WordCamp Providence, I understand that portions of the event will be photographed and/or audio/video-recorded for use by the WordPress Foundation. I agree that the

Add to Reading List

Source URL: providence.wordcamp.org

Language: English - Date: 2012-08-25 10:24:04
319Computer network security / PHP programming language / Blog software / WordPress / Blog hosting services / Sucuri / Cross-site scripting / Denial-of-service attack / Malware / Software / Computing / World Wide Web

The Ultimate Resources Index to WordPress Protection White Paper About this White Paper WordPress is the most popular content management system on the planet. It powers some of the largest

Add to Reading List

Source URL: www.sentrix.com

Language: English - Date: 2015-04-20 12:21:53
320VMware / Programming language implementation / Hypervisor / QEMU / VMware ESX / Xen / Red Hat Enterprise Virtualization / Ring / Hyper-V / System software / Software / Virtual machines

atsec information security corporation 9130 Jollyville Road, Suite 260 Austin, TXTel: Fax: www.atsec.com

Add to Reading List

Source URL: www.atsec.com

Language: English - Date: 2010-08-11 09:52:21
UPDATE